منابع مشابه
How to think about informal proofs
It is argued in this study that (i) progress in the philosophy ofmathematical practice requires a general positive account of informal proof; (ii) the best candidate is to think of informal proofs as arguments that depend on their matter as well as their logical form; (iii) articulating the dependency of informal inferences on their content requires a redefinition of logic as the general study ...
متن کاملPsychological Nature of Verification of Informal Mathematical Proofs
It is a pleasure to dedicate this article to Dov Gabbay on the occasion of his sixtieth birthday. I still have fond memories of him as a very young person, when I met him for the first time four decades ago at Stanford. That discovering or finding proofs is essentially a psychological process is widely recognized. Distinguished mathematicians such as Poincare and Hadamard have written very pers...
متن کاملWhy Do Informal Proofs Conform to Formal Norms?
Kant discovered a philosophical problem with mathematical proof. Despite being a priori, its methodology involves more than analytic truth. But what else is involved? This problem is widely taken to have been solved by Frege’s extension of logic beyond its restricted (and largely Aristotelian) form. Nevertheless, a successor problem remains: both traditional and contemporary (classical) mathema...
متن کاملExamples of Informal but Rigorous Correctness Proofs for Tree Traversing Algorithms Examples of Informal but Rigorous Correctness Proofs for Tree Traversing Algorithms
Correctness of several tree traversing algorithms is proved in an informal but quite rigorous way by using induction and a convenient graphical representation for the state of computation. These proofs are much simpler than their formal counterparts and provide an intuitive insight for the ideas behind the algorithms.
متن کاملBOHS: For informal industry
This book is such a manual for grassroots health practitioners and workers who either lack the training or knowledge and need information for providing primary health care to the community. This book, with the detailed information on medical approaches to identification, diagnoses, treatment, and rehabilitative care, suffices and supplements the need for dearth of basic information in the field...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Zentralblatt für Didaktik der Mathematik
سال: 2002
ISSN: 1615-679X
DOI: 10.1007/bf02655688